SAT based Enforcement of Domotic Effects in Smart Environments

The emergence of economically viable and efficient sensor technology provided impetus to the development of smart devices (or appliances). Modern smart environments are equipped with a multitude of smart devices and sensors, aimed at delivering intelligent services to the users of smart environments. The presence of these diverse smart devices has raised a major problem of managing environments. A rising solution to the problem is the modeling of user goals and intentions, and then interacting with the environments using user defined goals. `Domotic Effects' is a user goal modeling framework, which provides Ambient Intelligence (AmI) designers and integrators with an abstract layer that enables the definition of generic goals in a smart environment, in a declarative way, which can be used to design and develop intelligent applications. The high-level nature of domotic effects also allows the residents to program their personal space as they see fit: they can define different achievement criteria for a particular generic goal, e.g., by defining a combination of devices having some particular states, by using domain-specific custom operators. This paper describes an approach for the automatic enforcement of domotic effects in case of the Boolean application domain, suitable for intelligent monitoring and control in domotic environments. Effect enforcement is the ability to determine device configurations that can achieve a set of generic goals (domotic effects). The paper also presents an architecture to implement the enforcement of Boolean domotic effects, and results obtained from carried out experiments prove the feasibility of the proposed approach and highlight the responsiveness of the implemented effect enforcement architectur

ARUNDO DONAX L. (GIANT CANE) AS A FEEDSTOCK FOR BIOENERGY AND GREEN CHEMISTRY

Arundo donax L. or giant cane is a second-generation energy crop that could be used as a feedstock for bioenergy, i.e. biogas, bioethanol, combustion, and in green chemistry as raw material for several industrial sectors. The genetic characterization of A. donax plants revealed that, because of its asexual reproduction, low genetic variability could be detected between plants; the studies on the inflorescences also confirmed the agamic reproduction of the plant. Nevertheless, it could be speculated that some genetic characteristics could be hereditable and a selection of clones could be carried out. The clonal selection showed to be a crucial factor also for the choice of the propagation techniques and their final costs. A. donax biomass conservation by ensilage was possible without using inoculum. The preservation of giant cane could be performed by the two most used silage techniques, trench and silo-bag; the silo-bag technique was more efficient in preserving the biogas potential than trench one. The potential biogas production of A. donax silage in comparison to corn silage was tested by simulation of real-scale anaerobic digestion plant with lab-scale trials. The A. donax biogas production was lower than the one obtained with corn due to the chemical characteristics of biomass and the absence of starch but, thanks to the higher biomass yields, achievable biomethane and electric energy referred to the cultivated surface area were much higher than corn and other traditional energy crops

Towards Computational Notebooks for IoT Development

Internet of Things systems are complex to develop. They are required to exhibit various features and run across several environments. Software developers have to deal with this heterogeneity both when configuring the development and execution environments and when writing the code. Meanwhile, computational notebooks have been gaining prominence due to their capability to consolidate text, executable code, and visualizations in a single document. Although they are mainly used in the field of data science, the characteristics of such notebooks could make them suitable to support the development of IoT systems as well. This work proposes an IoT-tailored literate computing approach in the form of a computational notebook. We present a use case of a typical IoT system involving several interconnected components and describe the implementation of a computational notebook as a tool to support its development. Finally, we point out the opportunities and limitations of this approach

IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities

This paper presents a system that exploits the synergy between wearable/mobile technology and smart caring environments to support caregivers in Assisted Living Facilities (ALFs) for persons with physical and cognitive disabilities. In particular, this healthcare support system allows caregivers to be automatically alerted of potentially hazardous situations that happen to the inhabitants while these are alone. The design stemmed from six system requirements derived from the results of three focus groups conducted with 30 caregivers of different ALFs in Northern Italy

DOGeye: Controlling your Home with Eye Interaction

Nowadays home automation, with its increased availability, reliability and with its ever reducing costs is gaining momentum and is starting to become a viable solution for enabling people with disabilities to autonomously interact with their homes and to better communicate with other people. However, especially for people with severe mobility impairments, there is still a lack of tools and interfaces for effective control and interaction with home automation systems, and general-purpose solutions are seldom applicable due to the complexity, asynchronicity, time dependent behavior, and safety concerns typical of the home environment. This paper focuses on user-environment interfaces based on the eye tracking technology, which often is the only viable interaction modality for users as such. We propose an eye-based interface tackling the specific requirements of smart environments, already outlined in a public Recommendation issued by the COGAIN European Network of Excellence. The proposed interface has been implemented as a software prototype based on the ETU universal driver, thus being potentially able to run on a variety of eye trackers, and it is compatible with a wide set of smart home technologies, handled by the Domotic OSGi Gateway. A first interface evaluation, with user testing sessions, has been carried and results show that the interface is quite effective and usable without discomfort by people with almost regular eye movement control

Divided right atrium. Diagnosis by echocardiography, and considerations on the functional role of the Eustachian valve

A child presented at birth with severe cyanosis. Echocardiography showed hypoplasia of the right heart with a right-to-left shunt at atrial level. A conservative approach was adopted initially, and the situation improved over a few months, with reversal of the atrial shunt. Surgery was successfully performed at 4 years of age after further echocardiography revealed a congenitally large Eustachian valve and an atrial septal defect

Muscular counterpulsation: preliminary results of a non-invasive alternative to intra-aortic balloon pump

OBJECTIVES: IABP is the most widely used form of temporary cardiac assist and its benefits are well established. We designed an animal study to evaluate a device based on muscular counterpulsation (MCP) that should reproduce the same hemodynamic effects as IABP in a completely non-invasive way. METHODS: Six calves, 60+/-4 kg, divided into 2 groups, in general anaesthesia, equipped with EKG, Swan-Ganz, pressure probe in the femoral artery and flow probe in the left carotid artery, received either IABP through right femoral artery, or muscle counterpulsation (MCP). MCP consists of electrically induced skeletal muscle contraction during early diastole, triggered by EKG and microprocessor controlled by a portable device. For each animal the following parameters were also considered: mean aortic pressure (mAoP), CO, CI, left ventricular stroke work index (LVSWI), systemic vascular resistance (SVR) and mean femoral artery flow (Faf). We did 3 sets of measurements: baseline (BL), after 20 (M20) and 40 (M40) min of cardiac assistance. These measurements have been repeated after 40 min of rest for 3 times. Results are expressed as mean+/-SD. RESULTS: Baseline values: mAoP, 76.51+/-12 mmHg; mCVP, 11.5+/-3 mmHg; CO, 5+/-1 l/min per m(2); LVSWI, 0.77+/-0.2 KJ/m(2); SVR, 1040+/-15 dyns/cm(-5); Faf, 75.5+/-10 ml/min. IABP group: mAoP, 81.1+/-6 mmHg; mCVP, 1+/-0.1 mmHg; CO, 4.5+/-0.7 l/min per m(2); LVSWI, 0.69+/-0.2 KJ/m(2); SVR, 1424+/-8 dyns/cm(-5); Faf, 64.3+/-3 ml/min. MCP group: mAoP, 60.1+/-7 mmHg; mCVP, 23.6+/-2 mmHg; CO, 4.8+/-0.4 l/min per m(2); LVSWI, 0.69+/-0.2 KJ/m(2); SVR, 608+/-25 dyns/cm(-5); Faf, 92.3+/-12 ml/min. CONCLUSIONS: MCP and IABP had the same effects on CO and LVSWI. Moreover, MCP reduced SVR and increased the peripheral circulation without requiring any vascular access nor anticoagulation therapy

CDK4/6 inhibitors induce replication stress to cause long-term cell cycle withdrawal

CDK4/6 inhibitors arrest the cell cycle in G1‐phase. They are approved to treat breast cancer and are also undergoing clinical trials against a range of other tumour types. To facilitate these efforts, it is important to understand why a cytostatic arrest in G1 causes long‐lasting effects on tumour growth. Here, we demonstrate that a prolonged G1 arrest following CDK4/6 inhibition downregulates replisome components and impairs origin licencing. Upon release from that arrest, many cells fail to complete DNA replication and exit the cell cycle in a p53‐dependent manner. If cells fail to withdraw from the cell cycle following DNA replication problems, they enter mitosis and missegregate chromosomes causing excessive DNA damage, which further limits their proliferative potential. These effects are observed in a range of tumour types, including breast cancer, implying that genotoxic stress is a common outcome of CDK4/6 inhibition. This unanticipated ability of CDK4/6 inhibitors to induce DNA damage now provides a rationale to better predict responsive tumour types and effective combination therapies, as demonstrated by the fact that CDK4/6 inhibition induces sensitivity to chemotherapeutics that also cause replication stress